reset-ecl-tuple(A)
== let Ta,ksa,ia,ga,ha,aa,ea = A in 
== <Ta
== ,ksa
== ,ia
== ,(k',s,v,x. if ha(0,ga(k',s,v,x)) ia else ga(k',s,v,x) fi)
== ,(n,x. if n=0 false else ha(n,x) fi)
== ,aa
== ,ea> 

latex

Definitions	reset-ecl-tuple(A), let a,b,c,d,e,f,g = u in v(a;b;c;d;e;f;g), if b t else f fi, i=j, false
FDL editor aliases	reset-ecl-tuple